It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...) algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be "completed" conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives. (shrink)

It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...) algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be "completed" conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives. (shrink)

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...) connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...) connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...) so easily removed. Thus we correct some claims from Hintikka [8], Caicedo & Krynicki [3] and Hodges [11]. We refine definitions, in particular the notion of equivalence, and sharpen preconditions, allowing us to restore those claims, including the prenex form theorem of Caicedo & Krynicki [3], and, as a side result, we obtain an application to Skolem forms of classical formulas. It is a known fact that a complete calculus for IF-logic is impossible, but with our results we establish several quantifier rules that form a partial calculus of equivalence for a general version of IF-logic reflecting general properties of information flow in games. (shrink)

We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...) logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants. (shrink)

We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica algebraica similar a la (...) de Boole.This work is a contribution to a new view of Leibniz’s logic, pretending to show that his writings were not only rich in projects, but also in concrete logico-mathematical developments. We prove that his “Numerical Characteristic” assigning pairs of numbers to terms of categorical propositions, is a complete and correct semantics for aristotelian syllogistic, and the algebraic system presented in Fundamentals of Logical Calculus is essentially a complete version of boolean algebraic logic. (shrink)

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide.".

We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...) of L are not normal for vocabularies of uncountable power ωα. It also follows that first-order logic is the only finite-dependence logic having normal model spaces and satisfying at the same time the downward Löwenheim-Skolem theorem and uniform reduction for pairs. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid (...) models. (shrink)

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (...) ∞ω (Th) in which Chang's quantifier or some cardinality quantifierQ α, with α≧1, is definable. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

‘Epistemic’ arguments for conservatism typically claim that given the limits of human reason, we are better off accepting some particular social practice or institution rather than trying to consciously improve it. I critically examine and defend here one such argument, claiming that there are some domains of social life in which, given the limits of our knowledge and the complexity of the social world, we ought to defer to those institutions that have robustly endured in a wide variety of circumstances (...) in the past while not being correlated with intolerable outcomes. These are domains of social life in which our ignorance of optimal institutions is radical, and there is uncertainty about the costs of error. This is an argument for the preservation of particular institutions, not particular policies or outcomes, and it specifically identifies these with the institutions that John Rawls called ‘the basic structure of society.’ The argument further implies that to the extent that there is any reason to change these institutions, changes should be calculated as far as possible to increase their ‘epistemic power.’. (shrink)

Recent years have seen a heightened focus on the study of minimal forms of awareness during sleep to advance the study of consciousness and understand what makes a state conscious. This focus draws on an increased interest in anecdotical descriptions made by classic Indian philosophical traditions about unusual forms of awareness during sleep. For instance, in the so-called state of witnessing-sleep or luminosity sleep, one is said to reach a state that goes beyond ordinary dreaming and abide in a state (...) of just awareness, a state in which one is not aware of anything else other than one’s own awareness. Moreover, for these traditions, this state is taken to be the essence or background of consciousness. Reports on such a state opens the door to exciting new lines of research in the study of consciousness, such as inquiry into the so-called “objectless” awareness during sleep—states of awareness that lack an ordinary object of awareness. In this two-staged research project, we attempted to find the phenomenological blueprints of such forms of awareness during sleep in 18 participants by conducting phenomenological interviews, informed by a novel tool in qualitative research, the micro-phenomenological interview (MPI) method. Following a phenomenological analysis, we isolated a similar phase across 12 reported experiences labelled as ‘nothingness phase’ since it described what participants took to be an experience of ‘nothingness’. his common phase was characterised by minimal sense of self—a bodiless self, yet experienced as being ‘somewhere’—, the presence of non-modal sensations, relatively pleasant emotions, an absence of visual experience, wide and unfocused attention, and an awareness of the state as it unfolded. (shrink)

Savulescu argues that it may be ethically acceptable for governments to require citizens be vaccinated against COVID-19. He also recommends that governments consider providing monetary or in-kind incentives to citizens to increase vaccination rates. In this response, we argue against mandatory vaccination and vaccine incentivisation, and instead suggest that targeted public health messaging and a greater responsiveness to the concerns of vaccine-hesitant individuals would be the best strategy to address low vaccination rates.

How do we measure happiness? Focusing on subjective measures as a proxy for welfare and well-being, this book finds ways to do that. Subjective measures have been used by psychologists, sociologists, political scientists, and, more recently, economists to answer a variety of scientifically and politically relevant questions. Van Praag, a pioneer in this field since 1971, and Ferrer-i-Carbonell present in this book a generally applicable methodology for the analysis of subjective satisfaction. Drawing on a range of surveys on people's (...) satisfaction with their jobs, income, housing, marriages, and government policy, among other areas of life, this book shows how satisfaction with life "as a whole" is an aggregate of these domain satisfactions. Using German, British, Dutch, and Russian data, the authors cover a wide range of topics, even some not usually considered part of economic study.The book makes a distinction between actual satisfaction levels and individual norms, and in this way complements Van Praag's earlier work within the Leyden School with his later work in "happiness research". Among the many topics covered, the authors discuss: individuals' memory and anticipation processes and the estimation of adaptation phenomena ; the effect of reference groups on income norms and satisfaction with income; the importance of climate for well-being, including the development of a climate-equivalence index; the trade-offs between chronic diseases and income when well-being is kept constant; the damage of aircraft noise on well-being; the construction of a new talent tax tariff; and inequality from a satisfaction perspective, including the definition of "satisfaction inequalities", a natural extension of income inequality and poverty.This groundbreaking book presents new and fruitful methodology that consitutes a welcome addition to the social sciences. (shrink)

The purpose of this article is to open a dialogue between research in social sciences concerning collective emotion and historical investigation concerning a religious and political movement of the...

Plato’s works have been the object of countless interpretations and recuperations ever since Greek antiquity. In the context of prenazi Germany, the writer Hans F.K. Günther published a work in defence of eugenic theories (aiming to improve man through authoritarian laws), allegedly based on the work of the Athenian philosopher and entitled Platon als Hüter des Lebens (“Plato as Protector of Life”). The present article tries to set forth what is at stake in that propaganda piece, its historical context, as (...) well as the disquieting implications of such an “appropriation” of classical philosophy to purely political ends. (shrink)

This paper interprets the character and self-control as the two chief keys of the sistematic unity of human virtues, according to the thought of Saint Josemaria. First, the character is not only forged through acts, but more definitively it amounts to the identity of the heart in a biblical sense. Secondly, self-control by several ways preserves the unity of the person among the plurality of expressions corresponding to each virtue.

In this first stage of his Ethics Husserl stresses on the theory of value. The teleology seems necessary to him to form the concept of not objectivant act. Nevertheless since the essays after the second world war the striving and volountary end will be more and more central in this ethical thought.

GARCÍA-CANO LIZCANO, Fernando: La razón pública y su configuración dialógica: transhumanismo, ideología de género, laicismo y pluralismo cosmovisivo , Editorial Académica Española, Saarbrücken, 2012.